This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue readingThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue readingThis book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue reading